transitive normality

可递正则性